1. ......................
Author: ISILC Proof Theory Symposium, University of Kiel
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Proof theory,Bibliography ، Schutte, Kurt
Classification :
QA
3
.
L28
no
.
500
